منابع مشابه
Effects of Mine Blasting on Residential Structures
Blasting is common in the coal industry to remove rock overburden so that the exposed coal can be mechanically excavated. The ground vibrations and air blast produced by blasting are often felt by residents surrounding the mines. There has been a trend for regulatory authorities, especially those concerned with the environment, to impose low limits on blast vibration levels in response to commu...
متن کاملBlasting Off on an Actin Comet Tail
Cells have structure and the ability to move, thanks in part to the actin cytoskeleton, a dynamic cellular scaffolding that facilitates many cellular processes. Actin is mostly concentrated near the outer membrane of the cell, where it is involved in such processes as the formation of membrane protrusions at the leading edges of migrating cells, the movement of certain intracellular vesicles su...
متن کاملUtopia on the Rocks
Analysing American society and finding little hope for it has almost become a 'favourite sport' for sociologists. Another book on this theme illustrates the strongly-felt and yet somehow 'manufactured' crisis of conscience in the USA.
متن کاملBit-Blasting ACL2 Theorems
Interactive theorem proving requires a lot of human guidance. Proving a property involves (1) figuring out why it holds, then (2) coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDDor SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and a...
متن کاملBlasting Linux Code
Computer programs can only run reliably if the underlying operating system is free of errors. In this paper we evaluate, from a practitioner’s point of view, the utility of the popular software model checker Blast for revealing errors in Linux kernel code. The emphasis is on important errors related to memory safety in and locking behaviour of device drivers. Our conducted case studies show tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Franklin Institute
سال: 1831
ISSN: 0016-0032
DOI: 10.1016/s0016-0032(31)90925-3